propositional formula中文是什么意思

发音:

中文翻译
造句

命题公式

formula n. (pl. formulas, -lae ) 1.公 ...
formula of propositional logic 命题逻辑公式
propositional 建议的; 提议的; 主张的
propositional act 命题行为
propositional algebra 命题代数
propositional calculus 句子逻辑; 命题逻辑; 命题演算
propositional connective 命题联结词
propositional constant 命题常数
propositional content 命题内容
propositional form 命题的形式
propositional function 命题函数
propositional indicator 命题指示成分
propositional inference 命题推演
propositional knowledge 陈述性知识; 命题性知识
propositional law 命题定律
propositional learning 命题学习
propositional letter 命题字母
propositional logic 命题逻辑
propositional network 命题网络
propositional representation 命题表征
propositional symbol 命题符号
propositional thinking 判断性思维
propositional tree 命题树
propositional variable 命题变量; 命题变元
by formula 按公式

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning
提出了一个新的直接搜索算法，它使用了在sat问题中行之有效的冲突分析和学习机制。
Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。

百科解释

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.

详细百科解释

推荐英语阅读

propositional formula的中文翻译，propositional formula是什么意思，怎么用汉语翻译propositional formula，propositional formula的中文意思，propositional formula的中文，propositional formula in Chinese，propositional formula的中文，propositional formula怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Sun, 17 Aug 2025 00:29:56 GMT